$\forall$$x$:Id, $L$:(Knd List), $t$:Type. only members of $L$ affect $x$ :$t$ $\in$ MsgA